universal quantifier

1. Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.
   任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。
2. A Query of Universal Quantifier Problem in SQL
   SQL语言中具有全称量词的查询问题
3. Universal Quantifier in Event Quantification
   事件量化中的全称量词
4. Data query for proposition with universal quantifier and data query for implication proposition are two categories of the most practical and difficult data queries.
   带有全称量词命题与蕴含命题的数据查询是数据库应用系统中最实用的两类查询，但也是最难的两种数据查询。
5. Firstly, different from other universal quantifier such as all/ suo you, both every and mei cannot be followed by arguments such as mass noun or bare plural nouns directly.
   首先，every和每不同于其它全称量词如all/所有，后面不能直接接论元如不可数名词或光杆复数名词。
6. Negative operator constrains NPI to form a stable grammatical meaning; the logical semantic meaning is equivalent of the universal quantifier, which is used to express the whole amount of the negation or negative quality.
   否定算子约束极项，构成一个稳定的语法意义，逻辑语义上相当于全称量词，用来表达全量否定，是极性表达的一种方式。
7. The universal quantity 'ge' with its strong ability of collocation becomes the most popular quantifier for foreign students to use which arise the problem that cannot be ignored of the generalization of 'ge' in Teaching Chinese as a Foreign Language.
   而通用量词个因为其搭配能力极强，成为外国学生最常用的量词，使个的泛化成为对外汉语教学中不容忽视的一个问题。
8. In programs operating on one-dimensional array, quantified assertions ( like universal quantifier assertions) are needed to express properties of arrays.
   操作一维数组的程序中，数组的很多性质需要使用量化断言（如全称断言）来描述。

noun

1. a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things